Skip broken test

diff --git a/debian/rules b/debian/rules
index db89c5a0cfc8ee7ad6607a2842226c4283c44f1c..cf6fe27d227707f597e6d37f18056c8c5cce58a9 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -309,6 +309,8 @@ ifeq (,$(DEB_TEST_BUILD_PREFIX))
          && dh_installdirs \
          && $(TESTRULES) install-stamp \
          && cp -a debian/tmp/* ..
+# Broken test (see http://caml.inria.fr/mantis/view.php?id=5648)
+       rm -f $(TESTDIR)/ocaml-*/testsuite/tests/lib-threads/test4.ml
 # Thread tests seem to hang on buildds, but cannot reproduce elsewhere
 ifneq (,$(findstring kfreebsd,$(DEB_BUILD_ARCH)))
        rm -rf $(TESTDIR)/ocaml-*/testsuite/tests/lib-threads